fun ((a)) -> ()